binary timed Petri nets

二元定时Petri网